feat(Millennium): Add Riemann Hypothesis (from Mathlib)#2378
feat(Millennium): Add Riemann Hypothesis (from Mathlib)#2378franzhusch wants to merge 7 commits intogoogle-deepmind:mainfrom
Conversation
github-actions
bot
added
the
millenium-problems
|
We already have |
|
Yes but it technically doesnt ask the Riemann Hypothesis but a harder conjecture. This PR, was mainly meant to open this discussion. We could also potentially add the "regular" Riemann Hypothesis to the GRH File. |
|
Yes, let's just have both in one file! |
|
Should we then later also have the Extended Riemann Hypothesis in the Millenium Directory. The Extended Riemann Hypothesis is essentially the Riemann Hypothesis for Dedekind Zeta Functions. |
|
yes, I don't think it worth making an extra file in Wikipedia or wherever. Just explain in the docstring what the version from Clay is etc. |
|
Ok makes sense and what should be the name of the file be then? Just RiemannHypothesis or GeneralizedRiemannHypothesis? |
no strong opinion, perhaps just RiemannHypothesis for brevity |
mo271
added
the
awaiting-author
|
Should the copyright be 2025 or 2026? |
I think we should use |
3 participants
Adds the Riemann Hypothesis (from mathlib) as a open problem to the Millennium Folder.
I also wondered if we should let the GRH stay there, its technically not a official Millennium Problem but ofc it is closely related to the Riemann Hypothesis (and implies it).